We discuss five kinds of representations of rationales and provide a formal account of how they can alter disputation. The formal model of disputation is derived from recent work in argument. The five kinds of rationales are compilation rationales, which can be represented without assuming domain-knowledge (such as utilities) beyond that normally required for argument. The principal thesis is that such rationales can be analyzed in a framework of argument not too different from what AI already has. The result is (...) a formal understanding of rationales, a partial taxonomy, and a foundation for computer programs that represent and reason with rationales.The five kinds of rationales are as follows: (c)ompression and (s)pecialization, which yield rules, and (d)isputation, which yields a decision. These are modeled as potentially changing the focus of the dispute. Then there are (f)it, a rationale for rules, and (r)esolution, a rationale for decisions. These cannot be modeled as simply; they force disputation to a meta-level, at least temporarily. (shrink)

Health care professionals often face moral dilemmas. Not dealing constructively with moral dilemmas can cause moral distress and can negatively affect the quality of care. Little research has been documented with methodologies meant to support professionals in care for the homeless in dealing with their dilemmas. Moral case deliberation is a method for systematic reflection on moral dilemmas and is increasingly being used as ethics support for professionals in various health-care domains. This study deals with the question: What is the (...) contribution of MCD in helping professionals in an institution for care for the homeless to deal with their moral dilemmas? A mixed-methods responsive evaluation design was used to answer the research question. Five teams of professionals from a Dutch care institution for the homeless participated in MCD three times. Professionals in care for the homeless value MCD positively. They report that MCD helped them to identify the moral dilemma/question, and that they learned from other people’s perspectives while reflecting and deliberating on the values at stake in the dilemma or moral question. They became aware of the moral dimension of moral dilemmas, of related norms and values, of other perspectives, and learned to formulate a moral standpoint. Some experienced the influence of MCD in the way they dealt with moral dilemmas in daily practice. Half of the professionals expect MCD will influence the way they deal with moral dilemmas in the future. Most of them were in favour of further implementation of MCD in their organization. (shrink)

Interactive technology assessment (iTA) provides an answer to the ethical problem of normative bias in evaluation research. This normative bias develops when relevant perspectives on the evaluand (the thing being evaluated) are neglected. In iTA this bias is overcome by incorporating different perspectives into the assessment. As a consequence, justification of decisions based on the assessment is provided by stakeholders having achieved agreement. In this article, agreement is identified with wide reflective equilibrium to show that it indeed has the potential (...) of justifying decisions. We work out several conditions for this agreement to be achievable and just. (shrink)

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems culminating in the well-known and powerful Calculus of Constructions. The book (...) also covers the essence of proof checking and proof development, and the use of dependent type theory to formalize mathematics. The only prerequisites are a good knowledge of undergraduate algebra and analysis. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarize themselves with the material. (shrink)

Many physicists regard the flow of time as an illusion. There is an upper level flow of time, the phenomenon of past/present/future; and there is a lower level flow of time which is really a flow of events. Perceptual completion accounts for the lower level flow of time in a few ways: apparent movement; amodal completion; and dynamic change as exemplified by a newly described modal completion that we called happening. It acts like an illusory percept connecting discrete stimuli in (...) all sensory modalities. The past/present/future distinction cannot exist unless an object is perceived to be the same now as it is then. This cognition requires object persistence. Experiments with object persistence suggest the circumstances when that, too, is an illusory percept. The illusory percepts of object persistence and perceptual completion can account for the entire flow of time. Our findings and conclusions are congruent with a few time theories and cosmologies that suggest that the flow of time is an illusion. (shrink)

I propose that neural cognition is supported by non-neural storage of a 3-D model of local space, used in the planning of movements. Information is stored in wave-like excitations which couple to neurons in the thalamus, with the wave-vectors of excitations representing spatial positions. This hybrid of neural and non-neural cognition may have fitness advantages over any purely neural mechanism -- in information capacity, geometric accuracy, and fast selective retrieval. The wave excitations may be sustained on a Bose-condensed state of (...) some excitation in the brain, by a mechanism like those investigated by Frohlich, Umezawa, Vitiello and others. These states, being frictionless, can store information indefinitely at low energy levels, insulated from thermal noise, so are an ideal substrate for memory. If a Bose-condensed state is a 3-D representation of local reality, it may be the basis of phenomenal consciousness . The resulting theory of consciousness is highly constrained, and agrees well with the main properties of conscious experience. In this account, consciousness arises from a very simple state of matter, rather than from complexity; and it evolved to meet one of the strongest selection pressures on the brain. (shrink)

This essay gives a brief overview of Transhumanism and explores a few of its central ideas in the light of Polanyi’s views about embodiment, Marxism, and reality’s hierarchal order, concluding that although Polanyi would likely appreciate the possibilities of cyborgic augmentation that feature in the Transhumanist route to the posthuman, he would utterly repudiate its metaphysics of disembodied intelligence and its underlying technological determinism.

Understanding of organizational ethics phenomena requires complex understanding of organizational practices in their real world contexts. We can try to understand and build theory about these complex real world practices from the points of view of: a traditional deductive, ethics literature-based, literature gap formulation approach; or, an inductive, practitioner-based literature gap formulation approach. This consideration of inductive, practitioner-based versus deductive, literature-based literature gap formulation is related to the discussion concerning “engaged scholarship” and relationships and gaps between theory and practice in (...) organization studies [Van De Ven, 2007, Engaged Scholarship: A Guide for Organizational and Research Knowledge ]. However, there is an important difference with respect to the key issue of ethics literature versus practitioner-based literature gap formulation. This article offers examples of the two different approaches and makes comparisons between them. Implications for practice-based organizational ethics theory building, Ph.D. education, and public intellectual work are considered. (shrink)